Skip to content

DRAFT: reuse pre-computed data for 3343#3345

Draft
perturbing wants to merge 3 commits into
mainfrom
perturbing/3342-reuse-pre-computed-data
Draft

DRAFT: reuse pre-computed data for 3343#3345
perturbing wants to merge 3 commits into
mainfrom
perturbing/3342-reuse-pre-computed-data

Conversation

@perturbing

@perturbing perturbing commented Jun 19, 2026

Copy link
Copy Markdown
Member

Content

This PR includes...

Pre-submit checklist

  • Branch
    • Tests are provided (if possible)
    • Crates versions are updated (if relevant)
    • CHANGELOG file is updated (if relevant)
    • Commit sequence broadly makes sense
    • Key commits have useful messages
  • PR
    • All check jobs of the CI have succeeded
    • Self-reviewed the diff
    • Useful pull request description
    • Reviewer requested
  • Documentation
    • Update README file (if relevant)
    • Update documentation website (if relevant)
    • Add dev blog post (if relevant)
    • Add ADR blog post or Dev ADR entry (if relevant)
    • No new TODOs introduced

Comments

Issue(s)

Relates to #3343

@github-actions

github-actions Bot commented Jun 19, 2026 •
edited
Loading

Copy link
Copy Markdown

Test Results

     8 files  +3     230 suites  +24   2h 9m 34s ⏱️ - 42m 44s
 3 260 tests +2   3 260 ✅ + 2  0 💤 ±0  0 ❌ ±0 
10 780 runs  +2  10 780 ✅ + 2  0 💤 ±0  0 ❌ ±0 

Results for commit bc85fbc. ± Comparison against base commit d1d2dae.

This pull request removes 1 and adds 3 tests. Note that renamed tests count towards both. 
mithril-stm ‑ proof_system::ivc_halo2_snark::proof::tests::slow::prove_all_scenarios

mithril-stm ‑ proof_system::ivc_halo2_snark::proof::tests::slow::prove_genesis_bootstrap_scenario
mithril-stm ‑ proof_system::ivc_halo2_snark::proof::tests::slow::prove_next_epoch_scenario
mithril-stm ‑ proof_system::ivc_halo2_snark::proof::tests::slow::prove_same_epoch_scenario

♻️ This comment has been updated with latest results.

@perturbing perturbing added the run-slow-tests Technical label to run slow tests tiers in the CI. label Jun 19, 2026
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 08:44 — with GitHub Actions Inactive
@perturbing perturbing force-pushed the perturbing/3342-reuse-pre-computed-data branch from 90648be to ebd29ac Compare June 19, 2026 08:45
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 10:00 — with GitHub Actions Inactive
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 11:41 — with GitHub Actions Inactive
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 14:04 — with GitHub Actions Inactive
@perturbing perturbing force-pushed the perturbing/3342-reuse-pre-computed-data branch from 49ade27 to 1d7061f Compare June 19, 2026 14:30
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 15:11 — with GitHub Actions Inactive
@perturbing perturbing force-pushed the perturbing/3342-reuse-pre-computed-data branch from 1d7061f to bc85fbc Compare June 19, 2026 15:31
@perturbing perturbing temporarily deployed to testing-preview June 19, 2026 16:03 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jpraynaud jpraynaud Awaiting requested review from jpraynaud jpraynaud will be requested when the pull request is marked ready for review jpraynaud is a code owner
@curiecrypt curiecrypt Awaiting requested review from curiecrypt curiecrypt will be requested when the pull request is marked ready for review curiecrypt is a code owner
@hjeljeli32 hjeljeli32 Awaiting requested review from hjeljeli32 hjeljeli32 will be requested when the pull request is marked ready for review hjeljeli32 is a code owner
@damrobi damrobi Awaiting requested review from damrobi damrobi will be requested when the pull request is marked ready for review damrobi is a code owner
@Alenar Alenar Awaiting requested review from Alenar Alenar will be requested when the pull request is marked ready for review Alenar is a code owner
@turmelclem turmelclem Awaiting requested review from turmelclem turmelclem will be requested when the pull request is marked ready for review turmelclem is a code owner
Copilot code review Copilot Awaiting requested review from Copilot Copilot will automatically review once the pull request is marked ready for review

At least 1 approving review is required to merge this pull request.

Assignees

@perturbing perturbing

Labels

run-slow-tests Technical label to run slow tests tiers in the CI.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@perturbing